Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
761	The Winning Ways of Concurrent Games Pierre Clairambault, Julian Gutierrez, Glynn Winskel University of Cambridge Computer Laboratory Abstract—A bicategory of concurrent games, where nondeterministic strategies are for Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-02-06 09:47:04 Theoretical computer science Models of computation Metalogic Determinacy Denotational semantics Structure Symbol Duality Mathematics Model theory Mathematical logic
762	Symmetry in Concurrent Games Simon Castellan Pierre Clairambault Ecole Normale Sup´erieure de Lyon, France Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-02-05 12:42:48 Model theory Category theory Differential topology Algebraic structures Semigroup theory Embedding Symmetry Monoid Structure Mathematics Abstract algebra Algebra
763	MauveDB: Supporting Model-based User Views in Database Systems Amol Deshpande [removed] University of Maryland ABSTRACT Add to Reading List Source URL: db.csail.mit.edu Language: English - Date: 2006-03-29 21:59:40 Regression analysis Econometrics Information technology management Database theory Predictive Model Markup Language Interpolation Materialized view Linear regression View Database management systems Statistics Data management
764	arXiv:0907.0216v2 [physics.gen-ph] 23 Jan[removed]The non-unique Universe Gordon McCabe January 23, 2010 Abstract Add to Reading List Source URL: arxiv.org Language: English - Date: 2010-01-23 06:27:15 Theoretical physics Model theory Metalogic Quantum mechanics Multiverse Mathematical logic String theory Theory of everything Decidability Physics Science Physical cosmology
765	Deterministic Concurrent Strategies Glynn Winskel Computer Laboratory, University of Cambridge, UK Abstract. Nondeterministic concurrent strategies—those strategies compatible with copy-cat behaving as identity w.r.t. Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-06-28 13:33:37 Model theory FO Finite model theory Structure Mathematical logic Metalogic Mathematics
766	Winning, Losing and Drawing in Concurrent Games with Perfect or Imperfect Information Glynn Winskel Computer Laboratory, University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-11-06 09:16:01 Geometry Structure Universal algebra Duality Model theory Mathematics Abstract algebra
767	The Cyclic Cycle Complex of a Surface Allen Hatcher A recent paper [BBM] by Bestvina, Bux, and Margalit contains a construction of a cell complex that gives a combinatorial model for the collection of isotopy classes of Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 2008-06-02 12:47:57 Algebraic topology Surgery theory Cobordism Differential topology Canonical form Span Simplex Tree Rope Topology Mathematics Abstract algebra
768	CONDITIONS FOR INTEROPERABILITY Nick Rossiter School of Informatics, Northumbria University, NE1 8ST, UK Email: [removed] Michael Heather Northumbria University, NE1 8ST, UK Email: [removed] Add to Reading List Source URL: computing.unn.ac.uk Language: English - Date: 2005-02-01 06:02:02 Higher category theory Adjoint functors Diagram Natural transformation Limit Data model Initial and terminal objects Sheaf Topos Category theory Abstract algebra Functors
769	Efficient Ranking in Sponsored Search S´ebastien Lahaie and R. Preston McAfee Yahoo! Research {lahaies, mcafee}-inc.com Abstract. In the standard model of sponsored search auctions, an ad is Add to Reading List Source URL: vita.mcafee.cc Language: English - Date: 2011-09-26 21:09:21 Maximum likelihood Sufficient statistic Bayes estimator Exponential family Normal distribution Median Conjugate prior Statistics Estimation theory Statistical theory
770	Efficient Ranking in Sponsored Search S´ebastien Lahaie and R. Preston McAfee Yahoo! Research {lahaies, mcafee}-inc.com Abstract. In the standard model of sponsored search auctions, an ad is Add to Reading List Source URL: vita.mcafee.cc Language: English - Date: 2013-01-28 13:11:36 Maximum likelihood Sufficient statistic Bayes estimator Exponential family Normal distribution Median Conjugate prior Statistics Estimation theory Statistical theory

UPDATE